Various tweaks to demo script.
Various tweaks to demo script.

- Allow user to specify demo URI with `-u'.
- Allow user to just fetch a demo or just launch it.
- Add version, help text.
- demo/main.py is no longer a script.

probcomp/bdbcontrib,probcomp/bdbcontrib