Change default build type for dolfin to Release and add sympy as build dependency.
Merge pull request #431 from hashdist/johannr/dolfin

DOLFIN updates