Replaced all instances of show-goto-functions with a define#454

Merged

kroening merged 2 commits intodiffblue:masterfrom thk123:refactor/generalise-show-goto-functions-flag

Jan 31, 2017

+47-40

Commits on Jan 27, 2017

Replaced all instances of show-goto-functions a define
thk123
committed
Renamed the GOTO_CHECK defintions according to the new naming convention
thk123
committed