These edits fix problems with isolated devel spaces. First, cmake doesn't create the install directory. Second, the devel prefix needs to be configured at build time, not at find time
Merge pull request #19 from ethz-asl/fix/isolated-devel

These edits fix problems with isolated devel spaces. ...