OAuth for github

Es wird vermutlich mit dem letzten Pull Request von Andreas kollidieren. Sollte der vorher ran kommen, werde ich noch mergen.