add elastic beanstalk platform info and note the fedora 19 usage of jetty 9