20181101 city.agra: Month-long war over toilets in AMU ends; women faculty to get their own loos