Add IgProf development document (in LaTex)