GitLab

Added ability to redefine keys already specified (eg in inc.[tag]).
Added customisations for third party using aforementioned features.

Version 0.63. Tagged as 'IntKey-0_63'