BugFix: index.html now depends on mustache.js instead of mustache-min.js; New dependency of dot-theme