Adds prolog_server and server README.