Use this site (www.stockalicious.com). They allow short selling.
I'm not sure whether VirtualStockExchange.com allow short selling. Haven't use it before.
I usually use stockalicious and marketocracy. marketocracy is a bit harder to use for short selling. for non-short sell though, it's great.