At the headquarters of the Arabian Gulf Oil Company in Benghazi, the mood among oil workers is a mix of caution and optimism as they gear up to resume exports