Update CAPD to the latest (2013/08/05)
configure.ac: put C++11 instead of C++0x
Disable boost/threads in icp
Update F16 & threebuspowersystem models
Update travis.yml to specify the compiler (g++-4.8)
proofchecker: fix Makefile by removing dependency on batteries.syntax