a webserver front end for the fm-index