lib/Tools/update_header
2014-11-02 wenzelm 2014-11-02 added update_header tool;