bump all versions to 1.3.0 (except for SWI; that is at 1.1.0 just like
the other repos; don't know why we were already on such a high number
here)