UFC 1.4.2

Written for UFC by Anders Logg on 2010-09-01

A new version of UFC has been released. With this release, UFC moves to the new CMake build system.