[firedrake] Installation on Ubuntu: 18.04.3 LTS