Add hlc_server_time (C) NIFs. Only works on really modern versions of Ubuntu / Debian right now..