add an image for chooseing an initial region
Merge branch 'master' of https://github.com/LTLMoP/ltlmop.github.com