Add .asoundrc-hdmi file; add new hdmi functions to .bashrc