Switch to Boost 1.55 (fixes #95)

Fix for #95. 

@arnaudgelas I tried to apply the patches as you did for boost 1.54. However it fails for some reasons. Can you have a look? Apart from that, everything works fine on Ubuntu 14.04.