Creating a directory using mkDirectory now also creates all the parent directories, this fixes a problem on Windows where this was not being done
Ensure names do not leak through imports, resolves #655
Merge branch 'master' of https://github.com/cwi-swat/rascal