Add documentation of CMake options and Backend interface
We should properly document all current CMake options available in Allen, and all functions in the newly added Backend interface (BackendCommonInterface.h
). This can be complemented with the next set of slides for an upcoming hackathon.