Updated dev_install for Linux

Some notes about pantomx installation for Ubuntu Linux