Update cache parameter and add yices_name variable for Travis