Converting README to markdown syntax for Github.
Converting README to markdown syntax for Github.
Converting README to markdown syntax for Github.
Merge branch 'master' of https://github.com/jpmec/ggp-base into feature/propnet-state-machine