Some file names fixes, updated readme, updated default quicklisp packages version