Split the getting-started guide in 3 parts

• a very basic docker-based quick start,
• a more advanced developer setup guide (using mixed docker/venv install),
• the original manual setup guide.