Nicer configure script; added texinfo support. (NOTE: texinfo files are to be written yet.)