scripts: add a script to check if Documentation/00-INDEX is sane