Add install.sh script (to handle in only one command the boring command-line stuff)