Small changes.

- Added print_warning() function

- Added "--disallow-empty-set" option to prevent replacing an existing
set with a new empty one (useful for whitelists)