Change http:// to //

Solves a problem wherein pages over https block loading of ace.js