Squashed 'tools/dev_tools/' changes from 53efd84..441a101
Squashed 'tools/dev_tools/' changes from 53efd84..441a101

441a101 Force treating all headers as UTF8.

git-subtree-dir: tools/dev_tools
git-subtree-split: 441a10138ac4fd8c1d6eeb487fb4514d1dc50114

salilab/rmf,salilab/rmf,salilab/rmf,salilab/rmf