Replace "decimal" by "decimalsign" in AsciiMath input jax. Fix issue 384.
Rename AsciiMath config option "decimal" to "decimalsign".