Renamed generate.sh to devserver.sh

Generated by commit cf113040d94b61b2ba7ad0af279672d715dfa484; pushed by Travis build 31.