A Javascript converter from and to pre-unicode Greek notation