Include mix.lock
This ensures reproducible builds; all developers get the same dependencies as well as Travis CI builds.