Dockerfile with a Fedora installation and Portia installed and running on port 9001
Merge branch 'master' of https://github.com/sayden/various-dockerfiles

Init commit