Publite2: civlauncher.py calls init-freeciv-web.sh

[andreasrosdal]

In Publite2, we need to change the way civlauncher.py calls init-freeciv-web.sh

https://github.com/freeciv/freeciv-web/blob/develop/publite2/civlauncher.py#L28

retcode = call(["/usr/bin/bash" , "../publite2/init-freeciv-web.sh" , self.savesdir , str(self.new_port) , str(1000 + self.new_port) , self.metahostpath , self.gametype , self.scripttype])

On Vagrant, this gave me a permission denied error, possibly because on Vagrant, Python doesn't have permission to execute ./publite2/init-freeciv-web.sh. The cause of the permission problems on Vagrant, is that VirtualBox doesn't support executable file permissions on mounted file systems like on native Linux.

So I added this workaround: 7adf93d

However, now the Travis CI build fails, because /usr/bin/bash is an invalid path there. So I had to revert the change.