Special core extraction mode

For now, the frontend is sensible to the HAX_CORE_EXTRACTION_MODE variable environment that enables a special mode.