A small Javascript library for internationalization