A Dataset for Bug Resolution Time