Ivory headers: remove deprecated cbmc.h and test.h.
ivory.h: update with current header.
ardupilot location: fix URL.