rename mrb_intern2() to mrb_intern(); huge API incompatibility; close #1513