Remove git alias for pushing master

Made redundant by using the default "simple" semantics for git 2.0.