richard stallman awards