Bash: Added an improved 'favdir'-functionality for convenient directory switching