Upgrade to ExtCore 0.8.2.
Minor simplifications using functions from ExtCore.
Implemented a PrecompilationState.setHeader function to hide implementation details.