Make packages reproducible#543

jodersky wants to merge 2 commits intocvogt:mastercvogt/cbt:masterfrom

jodersky:reproducible-buildsjodersky/cbt:reproducible-buildsCopy head branch name to clipboard