Update examples to work with dof_id_type

We're now compiling and "make check"ing fine with 64-bit ids.  I'll
probably need to crank up the gcc warnings to make sure we have no
heinous truncation bugs, though.