Update Makefile

Adding ACL2_HONS= to half of the calls.