An HTTP server in Python with extras for EUDAT