mysql(): color prompt