Add T2 export to llvm2kittel

This allows to use llvm2kittel as llvm2t2, i.e., to use T2 as backend for termination proofs of llvm programs.

In the process, I've enforced using C++11 -- seeing how this is 2014, and the whole thing is basically a compiler extension, this seems like a reasonable requirement. Also, auto and foreach are great.