Set version to 1.2.80, i.e. 1.3 alpha 1

Authored by mwolff on Dec 2 2019, 4:56 PM.