Update the help() implementations in the cc3200, stmhal and teensy ports to use the pyhelp_print_obj function.
