Version after 0.7.4, but not 0.7.6, hence 0.7.5.

The previous jacoco plugin version was not compatible with Jenkins
anymore.

This allows for example to retrieve the DEM elevation for a
latitude/longitude pair.

This can be used to set up min/max search lines.

This is still preliminary work, convergence seems slightly wrong.

Conflicts:
	src/test/java/org/orekit/rugged/api/RuggedTest.java

Some attitude laws constructors used in tests have been deprecated.

This reverts commit b61d7ead.

This reverts commit 3ff8b559.

This reverts commit 294d3a57.