Fix bug when setting path of platex/dvipdfmx with option
increment version number
Merge branch 'master'
merge from master
add setting of fonts/colo of editor
add color setting of matched bracket