Merge pull request #44 from benediktahrens/e-coqdoc

add '$ make doc' with files in assets now properly licensed
remove spurious TAB from Makefile