py: Add hex builtin function.

A one-liner, added especially for @pfalcon :)