Rename mkpkg to burps: build & update repository packaging system

mkpkg was not a very good name, but fortunately it is still time to
change for a new name.