I have installed the latest Jul2015 release, and I would like to use the latest tools tachograph to determine the progress of query execution. But I do not know how to install it. My system is ubuntu 14.04.

I have tried to use *sudo apt-get install monetdb-tools* but failed to locate the package *monetdb-tools*. 

Any idea would be helpful. Thanks.