What is Antifa? A quick primer on the far-left group

The name 'antifa' has come up in the new of late. What does it mean?