Add Platron integration

https://www.platron.ru/

Closes #717.