Au revoir, internet cut-off: France revokes anti-piracy penalty