Add branch option parameter to pushSolutions command

The trainer can specify a branch name to which the current state is pushed instead of configuring the branch name in the global build.sbt. This allows training to only create course materials when a new course version will be released and still pull and push solutions. `sbt-koan` will be changed accordingly.