Tool for creating static websites using tex4ht and some static site generator like jekyll