Added required boost libraries

This solves:

undefined reference to `clock_gettime'

On Ubuntu 12.04LTS 64bit