added pointer to flint.binding/C
document latest achievements
document two variations of small-det HNF