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.