Auto-start trails. Fixes #687.

This gets rid of the notion of starting trails explicitly. If you submit
an exercise on a trail that you don't have a current exercise for, then
that exercise becomes current.