Added tmc-check as a submodule.
Mention compiling tmc-check in readme.