Fix broken link to UFC.
Add warning that UFC is not needed when building FEniCS-dev.