Remove warning about that the FEniCS packages in Debian is not
up-to-date. This is no longer the case.
Fix warning about Ubuntu packages not being up-to-date.