Added the current branch to the git information provided on the settings page

It now used `git symbolic-ref HEAD` to fetch the string containing the current branch.
The internet informs me that this should continue to work even in a detatched HEAD state.
Merge branch 'master' into recording-traces