CoLoR termination proof extract

Started to extract the coq code for a CoLoR generated termination proof from the paper 2001-color-coq-library.pdf

This was largely an exercise in familiarization with the CoLoR library