Add timestamps to BASH history if not already configured