Add --version flag to command line tools#361

pehrsoderman merged 1 commit intoKattis:masterKattis/problemtools:masterfrom

gkreitz:add_version_flaggkreitz/problemtools:add_version_flagCopy head branch name to clipboard