Make travis test 32-bit builds as well as automatically push DDoc