Correct install script since docker broke support of direct github pulling
Merge pull request #1 from AlJohri/master

Correct install script since docker broke support of direct github pulling