Fix GAUDI-1105: Race condition when creating installation directories

I wrote a test case, but it's a bugger to reproduce as the race condition has to happen between lines 223 and 225. However, tweaking the original and patched `install.py` scripts to manually create the race (by doing `makedirs()` twice) I can show the patch works fine.

See merge request !46