Document version 0.8 + add some texinfo insert

I really need to improve texinfo mode!