On solving Ordinary Differential Equations using Gaussian Processes