ide5 - simple, pure HTML5 based code editor