use INT_MIN for GT_UNDEF_INT
Merge pull request #77 from satta/signedundef

use INT_MIN for GT_UNDEF_INT
add FO paper to web page
chronological reorder
Merge pull request #80 from satta/fo-link

add FO paper to web page