Version 0.7.1 released

Fix a bug that prevents the editor to load on IE6/IE7