Add preferences page for JKind analysis settings