oasis: --demo flag, to enable src/demo/ demonstration programs;
small resolution prover for didactic purpose added in src/demo/resolution