Release avans-0.25.0.