Updated the version of boost (from 1.48 to 1.54) and other minor changes.