Check out the URL removal tool in Google Webmaster toolsTools. I'd also 404 the pages instead of redirecting them to get them removed faster, in the future beyond robots.txtrobots.txt you could drop in the rel canonicalrel="canonical"
to make sure Google knows the dev site is just a copy of the main site and is not to be indexed.