devtools subproject updated, somi minor changes to .gitignore and index.rst