Multi-coloring the Mycielskian of graphs