Added -o option and -e option.
Fixed a bug in depth_based_enumerator_t.
Updated phillip's version.