OSGeoLive 13.0 Released, which Brings Some New Applications