Util.pm: add read_HEAD_ref function