Development of FFmpeg 3.1

First commit after the release/3.0 branch point.