minor .bashrc changes, etc

A few minor .bashrc & .profile changes.
Some new #defines for web socket opcodes.