Also install "graphviz-like" tools under Ubuntu
Install whichever "Python 3" Ubuntu supports
Correct name of libboost-all-dev for Ubuntu 13.04