Rename universe_library to universe_library.rkt