C++: QLDoc for all of Instruction.qll

I think I've now documented every class and public predicate in `Instruction.qll` I've tried to include detailed semantics of each instruction where appropriate.

Author: Dave Bartolomeo