Modify helloworld-osgi README to start the server with the OSGi profile