Github open-source release of CAmkES, version 2.01

This is the version of CAmkES that was released together with the seL4 microkernel (API version 01-03).