A RESTful service registry written in python using Flask