Minor doc fixes

Using a real header command avoids orphaned titles (in most cases). For some reasons the previously used @need command didn't fulfill its intended purpose.

Also improve documentation of \laissezVibrer and \repeatTie.