Allow using the old std_cxx1x namespace.

This was supposed to work in a backward compatible way but I broke
it for everyone who didn't explicitly #included the old base/std_cxx1x/*h
headers but got stuff through indirect #includes.
Fix up coding style.

Use CamelCase for class names for this internal class.
Merge pull request #238 from bangerth/fixup-style

Fix up coding style.
Merge pull request #234 from bangerth/fix-std_cxx1x-vs-std_cxx11-compatibility

Allow using the old std_cxx1x namespace.
Added get_lap_time() to Timer; returning the time taken between the last start()/stop() cycle.
Merge pull request #240 from alrashedf/master

Added get_lap_time() to Timer
Added description of occ.
add documentation to deprecated functions in PETSc::MPI::Vector
Merge pull request #242 from tjhei/petsc_documentation_fixes

add documentation to deprecated functions in PETSc::MPI::Vector
Merge pull request #241 from luca-heltai/occ-entry

Added description of occ.