Flag to do extraction before and after exact QE
Merge pull request #55 from chsticksel/kind2-server

Flag to do extraction before and after exact QE