This commit includes coqdocjs to our template. By this update, the
libname is not longer included to the html-output, so it got removed
from the Makefile.