Merged fenics-project/dolfin into master
Merged fenics-project/dolfin into master
Merged fenics-project/dolfin into master
Minor fix. Use semicolon as list separator in cmake template file.
Some speed up of graph computation for dofmap re-ordering.
remove support for petsc 3.2 in PETScSNESSolver and fix a bug in method naming for petsc 3.4
Small dof ordering changes:
  -- Force all dofs on a shared facet to be owned by the same process
  -- Force all global dofs to be ordered last and to be on the last process
     in parallel
  -- Potentiall huge speed up in dof reordering of mixed spaces including
     global dofs by removing the latter from graph reordering
Merge branch 'master' into garth/dofmap-reordering-speedups
Merge branch 'master' into cmaurini/fix-snes-vi-method
Merge branch 'johanhake/dof-reordering' into garth/dofmap-reordering-speedups

Conflicts:
	dolfin/fem/DofMapBuilder.cpp
Disable SNES for PETSc 3.2.
Add compiler flag to enable PETSc SNES interface.
Disable SNES contact demo for PETSc version <= 3.2.
Merge branch 'benjamik/fix-cmake-list-separator'
Remove a dofmap unit test assertion that is not necessarily true
Merge branch 'cmaurini/fix-snes-vi-method'
Merge branch 'garth/dofmap-reordering-speedups'
Add dolfin::has_petsc_snes() function.
Merge branch 'cmaurini/fix-snes-vi-method'