Make master the primary branch

[chingor13]

As we fix the release process here, let's make this repository sane and make "master" the primary branch rather than "dev".

[chingor13]

Done!

[chingor13]

The previous master branch is pushed as old-master in case it's ever needed.