rename ABOUT to README so that github can be happy