Set automatalib version to 0.4.1