Add configure-options section to texi file