Add patch version to irony-server