Red Hat extends open source technology into space