Fix Travis config: add protoc.