add '$ make doc' with files in assets now properly licensed

correct mistake in the Makefile, clean enhanced doc when calling make clean, add enhanced doc to gitignore

rename directory

move enhanced-doc directory to directory util, adapt Makefile
fixes sed script in that if 'Proof.' is missing then corresponding 'Defined' or 'Qed' is ignored; fix by Guillaume Verdier
Merge pull request #44 from benediktahrens/e-coqdoc

add '$ make doc' with files in assets now properly licensed
remove spurious TAB from Makefile
added description of $ make doc to README.md
clarified make doc description in README
Merge pull request #45 from benediktahrens/e-coqdoc

added description of $ make doc to README.md
added link to wiki articles in README
Merge pull request #49 from benediktahrens/readme

added link to wiki articles in README
Merge pull request #50 from vladimirias/master

Merge changes to the main repository
Beginning the overhaul. Sample of first 50 lines.
Removing parentheses around lambdas.
add basic travis file
Merge pull request #53 from benediktahrens/travis

add basic travis file
Some more changes.
Merge branch 'master' into overhaul
Merge pull request #51 from lambdabetaheta/overhaul

Beginning the overhaul. Sample of first 250 lines.
Conflicts in uu0 resolved