Robin Williams' son names newborn baby after his father