Software catalogue for CoreOS