In addition to enabling C++11, I updated various things that I either
remembered or found by searching for "C++11." Each of these is a
separate commit to make it easy to revert in case that is necessary.
1: compile with -std=c++11
2: comments
3: Use C++11 for Input construction & assignment
4: auto_ptr -> unique_ptr
5: explicit bool conversion for Dimension_cache::Optional
6: shrink_to_fit () after filtering a Grob_array
7: use =delete for non-copiable classes
Diff:
Passes make, make check and a full make doc.
Patch on countdpwn for Dec 19th
Patch counted down - please push