two new command-line options#116

drhuettl wants to merge 2 commits intothomasvs:masterthomasvs/morituri:masterfrom

drhuettl:release-optionsdrhuettl/morituri:release-optionsCopy head branch name to clipboard