Restrict to websockets-0.7.*

The API of websockets has changed so much in 0.8.* that is is no
longer compatible. Needs a proper update later against the new API.