Check for and use ffmpeg as well as avconv

Implements suggestion from #240