Library N3658 Compile-time integer sequences

Includes editorial change to simplify the example with return type
deduction (as discussed by LWG) so depends on [N3638](http://isocpp.org/files/papers/N3638.html).