Merge pull request #246 from mmklee/sw_fix

fix: printing in ivOptimizeKern if option(prot)

TODO: write new tests that would indicate the change in global and ring options wrt master!
fix: select 64bit inline int on 64bit machines
fix: omBin.c:omGetUsedBytesOfBin
fix: 64bit fix: nlNeg
chg: 64bit temp. disabled
fix: missing naKillChar