[curl] How to send a HTTP OPTIONS request from the command line?