Plots X and y into a new figure with the decision boundary defined by theta, with + for the positive examples and o for the negative examples.