Cleanup Travis Makefile build commands#1909

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

chrisr-diffblue:travis-make-options-cleanupchrisr-diffblue/cbmc:travis-make-options-cleanupCopy head branch name to clipboard