README: installing FEniCS via apt is no longer sufficient