Make distro_info return an integer for version

Make distro_info task return an integer for os version.

Also fix os version check when checking if should install abrt plugin or
not on the provision_install task.
> I'm not asking for an explanation as to how re works […] My point being, show me what the output is and why we want to do this.

That makes sense. I thought you were asking for an explanation of `re`'s mechanics. Instead, you're asking for a further explanation of the problem being solved. I agree, a comment will be useful.