GitHub: Renaming the Default Branch from Master

Uff. Why not trunk, at least you would have references in literature.

I certainly have a problem with the motivation for this. Github has other problems in my opinion.