Update LocalSettings.php

Changed the LocalSettings.php file to include the Mantle extension. Mediawiki  > 1.23 requires this extensions in order to run the abstract extraction. The abstract extraction guide has also been updated to reflect this.