Add htdocs helper scripts from old JabRef repository