Platform: Do not require sinatra

We don't seem to actually need the Sinatra dependency.

@mezis?