Update README: Debian boost package is called libboost-dev