[administrative] Update version info for 0.1.3