Tiny corrections

This plugin allows the Moodle administrator to define as many correction types as wanted (e.g. orthographic error, pronoun error, capitalization, etc.). Buttons in the TinyMCE editor then allow users to make inline marks in texts.

This is provided as a replacement of atto_corrections (https://moodle.org/plugins/atto_corrections).