added a html exporter with some bootstrap based formatting