Core <-> Proxy version comparison

Thinking about it, maybe we should warn on foreman x.y and proxy x.(y-1) but on proxy x.(y+1) it should just be an info. We’ve always tried to stay compatible and @Dmitri_Dolguikh has suggested that the upgrade advice should always be to first upgrade the proxies and then Foreman itself. IMHO that makes sense.