Update copyright year to 2020 in manual.