noVNC: HTML VNC Client Library and Application