Hedging Bitcoins With Options on the World Wide Web