Fix #3196: Masked input widget revamped to use new plugin

Masked input widget upgraded to use [JQuery Input Mask plugin](https://github.com/RobinHerbots/jquery.inputmask) by Robin Herbots.