#3 Added functionality to change github username on server

Completed work for https://github.com/jboss-set/mjolnir/issues/3

It is now possible to modify the github name of a user.