GitHub: Renaming the Default Branch from Master

Uff. Why not trunk, at least you would have references in literature.<p>I certainly have a problem with the motivation for this. Github has other problems in my opinion.