Fixed provisioning of the devbox
Added some unknown PHPStorm files