Member predicate Compilation::normalTermination

Holds if the extractor terminated normally. Terminating with an exit code indicating that an error occurred is considered normal termination, but crashing due to something like a segfault is not.