Jože Pirjevec, zgodovinar