Building instructions

[anton-trunov]

Instructions for building the book from source, for typechecking the Coq code from the book, etc.

[gliptak]

https://github.com/math-comp/mcb/blob/master/docs/Makefile has various build targets.

PS would there be an interest in a PR hooking repo up to Travis?