Add local.properties to .gitignore

[mvglasow]

local.properties is (as the name suggests) a local file which should be committed to git, as it contains machine-specific configuration.