Refactor handling of entry point in goto-symex

[peterschrammel]

entry point and resume need to be handled uniformly

and clean up get_goto_functions: #3969 (comment)