modify klee-gcc for building texinfo-4.8

Signed-off-by: ubuntu <xqx@server.(none)>
update .gitignore
format some code & add makeinfo
some merges