NAL5 tests up to nal5.5.nal (the remaining are yet unedited for the new test syntax)
Merge branch 'master' of https://github.com/opennars/opennars
cleanup and proguard script added