Initial commit from AdBlock-Plus version HG of the 2013-07-11