bash: custom-prompt: add DATE_PROMPT option