Rename library.py to lab3/library.py