Don't specify libboost-dev twice in apt-get install

libboost-dev is in twice; obvious trivial change.