Made config more easilly customisable#514

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

NathanJPhillips:feature/config-easier-to-modifyNathanJPhillips/cbmc:feature/config-easier-to-modifyCopy head branch name to clipboard