Refine the user API
Avoid code duplication when matching a specific user
Cleanup the types in ejabberd_trace.erl
Add dialyzer rule to Makefile
Fix typespecs