Commandline tools to ease keeping dns records in git and pushing them to various dns providers