Installing MySQL 5.7

@kimh this started failing today for me, getting these errors:

W: Failed to fetch http ://repo.mysql.com/apt/ubuntu/dists/precise/Release Unable to find expected entry ‘mysql-5.7-dmr/source/Sources’ in Release file (Wrong sources.list entry or malformed file)

E: Some index files failed to download. They have been ignored, or old ones used instead.

export DEBIAN_FRONTEND=noninteractive && curl -sSL https://s3.amazonaws.com/circle-downloads/install-mysql5.7-circleci.sh | sh returned exit code 100

Action failed: export DEBIAN_FRONTEND=noninteractive && curl -sSL https://s3.amazonaws.com/circle-downloads/install-mysql5.7-circleci.sh | sh