Change Vector to AbstractVector in print_to_json(io::IO, a::Vector)