I want to use webauthn-json but don’t know how to. Basically I want to use it in a single HTML file with a single script tag. Is there any way to do that?