Polytope Editor for Javascript