Duplicated building instructions
Building instructions are provided in two files:
Instructions are more detailed in
building.md file, but instructions for building Orekit through Ant are only provided in the
BUILDING.txt file. Since the
README.md file proposed in merge request !3 (merged) directs users to the
building.md file, the missing instructions should be added to it and the
BUILDING.txt file deleted.