Changed automatalib version to 0.3.1