Print the ACL2 properties on a symbol
Example: :props assoc-eq
Props takes one argument, a symbol, and prints all of the properties that are on that symbol in the ACL2 world.
