rename master to main

[bturkus]

reasons for doing this are pretty clear; also the change has already been made at ami-tools.

Instructions here: https://github.com/github/renaming