Add more aliases for bash; small tweaks to prompt and other files