Adding files that were removed by accident
Bugfix: tell install.sh to do not remove repository files. Instead copy them.