Use https in code examples

Fixes #31