AI coding startup Cursor is now officially a part of SpaceX.