[awesome] Better clock text format with seconds.
[gdb] Pretty printing STL classes.

Check:
http://gcc.gnu.org/onlinedocs/libstdc++/manual/debug.html#debug.gdb
http://sourceware.org/gdb/wiki/STLSupport

I didn't use libstdc++-v3 trunk, but the version matching my gcc.
[tmux] Remove already commented lines.