Docstring and variable name improvements.
Renamed to derive.
Removed facts from symbol declarations and deleted the length symbols from trunk and feet.
Made pygait2d a package.
Added a module for deriving the equations of motion.
Added a simulation module.