add normalized-f20c10b_002_area_delay.wcnf as a sample
Merge branch 'master' into maxsat2013