more documentation in tempo.cc, fix constant bug in pulse_at_tempo_locked()