Fix minor sphinx warning

docs/sources/contributing/devenvironment.rst:139: WARNING: Title underline too short.