Ударение в названии жителей вовсе не обязательно должно падать на тот же слог, что и в названии города, ср.: Ста́врополь, но ставропо́льцы. Но в названии ша́хтинцы литературная норма действительно требует ударения на первом слоге.
Ситуации, когда произношение названия города или жителей города, принятое в речи самих жителей, отличается от варианта, закрепившегося в общелитературном языке, не редкость. В каком-то смысле это вариант «для своих», то есть вариант ударения, отличающийся от принятого в литературном языке, в данном случае функционально близок к профессиональному или социальному жаргону: он помогает отличить «своих» от «чужих», показывает принадлежность к замкнутой группе лиц. Так что никто не может запретить шахтинцам называть себя шахти́нцы, но при этом в официальном употреблении и в речи носителей языка, не знакомых с принятой в городе нормой произношения, продолжит употребляться вариант ша́хтинцы.
Оба сочетания корректны. Контекст и замысел автора (что, увы, нам не известно) могут диктовать предпочтения при выборе варианта.
Наш портал - не библиотека, хотя на нем есть библиотечный раздел. Какую книгу Вы ищете?
К сожалению, такого словаря нет. Можно попробовать задать поиск по лексикографической помете межд. в электронных словарях (например, здесь: http://starling.rinet.ru/index2.php?lan=ru)
В коллекции электронных словарей нашего портала представлен и словарь антонимов. Для поиска слов используйте окошко «Искать на Грамоте» на любой странице портала.
Посмотрите здесь: http://www.gramota.ru/spravka/phrases/
