Update docs badges.
Update dev tools.
Ignore temp dir.