autocorres: Remove unnecessary rule from "whileLoop_results".

Thanks Tom for spotting this while proofing my thesis.
github import of static cap config proofs
integrate separation kernel config proofs

Hooked up into build system and regression test; added READMEs