Use the libraries dependency information from quicklisp 2012-12-23
Change the ECL version for report generation from ecl-12.12.1-unknown-linux-x64 to ecl-12.12.1-unknown-linux-x86
Merge branch 'dev'