Remove git index lock file: this solves problem with git checkout being terminated

Merged Kamil Trzcińśki requested to merge remove-index-lock into master