Fixes to suppot atlas with hands integration in mitdrc.

Adds convenience to find the frame number of a multiframe by name,
and also fixes an issue with compiling rbms with loop constraints,
e