docs: contributions should go now through GitHub

Avoids clutering mailing list with patches

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>