Include isolate as a git submodule

Make the subdirectory isolate/ become a git submodule for the repository
cms-dev/isolate. We use the https:// address (instead of the git:// one)
to avoid authentication and permission issues. Also explain how to clone
in the README.

Fixes #1.
Fix compilation with isolate submodule.