dolfin-version(1) display the DOLFIN version number