Adds puphpet/debian75-x32 and removes 32-bit ubuntu box