DOLFIN updates

Change default build type for dolfin to `Release` and add sympy as build dependency.