use proper version
Keep Version as String for now. seems to have a bad impact on performance to convert to Int.
add check-policy and check-revdeps-policy
cleanup options parsing
add Policy_Bounded and pass by available packages to getPolicy
cleanup a bit printing.