A secure, encrypted Javascript format (almost)