Log Message:
editors/micro: Update to 2.0.13

2.0.13:
 - Introduced new reload option to control file reloading behavior when
   files are updated externally.
 - Bug fix for term command.
 - Minor bug fixes.

2.0.12:
 - Adds fakecursor option.
 - Adds HistorySearchUp and HistorySearchDown actions.
 - Adds scrollbarchar option.
 - Adds -multiopen flag.
 - Save with sudo for large files fixed.
 - Syntax highlighting engine improvements.
 - Many minor bug fixes and highlighting adjustments/improvements (new
   languages and fixes).

https://github.com/zyedidia/micro/releases/tag/v2.0.13
https://github.com/zyedidia/micro/releases/tag/v2.0.12