unify drivencavity examples

This patch merges drivencavity-compatible into drivencavity. The new example
script contains boolean flags for compatible spaces and strong imposition of
tangential velocity. It also improves the vizualisation and adds two
cross-section figures for comparison with benchmark results.