input: Write a python function to get the current time in HH:MM:SS format.
  assert get_current_time().count(':') == 2
  assert len(get_current_time().split(':')) == 3
output: import datetime
  
  def get_current_time():
      return datetime.datetime.now().strftime('%H:%M:%S')