update micro editor to v2.0.7

Author: pashagolub

make.bat

@@ -2,7 +2,7 @@
 SET MD=PES
 SET ETCD_REF=https://github.com/etcd-io/etcd/releases/download/v3.3.25/etcd-v3.3.22-windows-amd64.zip
 SET PATRONI_REF=https://github.com/zalando/patroni/archive/v2.0.0.zip
-SET MICRO_REF=https://github.com/zyedidia/micro/releases/download/v2.0.6/micro-2.0.6-win64.zip
+SET MICRO_REF=https://github.com/zyedidia/micro/releases/download/v2.0.7/micro-2.0.7-win64.zip
 SET WINSW_REF=https://github.com/winsw/winsw/releases/download/v2.10.2/WinSW.NET461.exe
 SET VIP_REF=https://github.com/cybertec-postgresql/vip-manager/releases/download/v1.0-beta/vip-manager.zip
 SET PGSQL_REF=https://get.enterprisedb.com/postgresql/postgresql-12.4-1-windows-x64-binaries.zip