An HTML5 app to search for JGiven reports indexed by Elasticsearch