Move README to top level, so that it is directly shown on the github homepage