Added an option to the C++ printer to print the local as opposed to the globally qualified name. Implemented the printing of template specialisations.

Signed-off-by: Dimitar Dobrev <dpldobrev@yahoo.com>
Merge pull request #113 from ddobrev/master

Added an option to the C++ printer to print the local as opposed to the globally qualified name. Implemented the printing of template specialisations