Installing Lattice Diamond on Ubuntu 18.04