Propagate file rename to gitignore.

This was introduced by 68a4bb27d1a747b240ea68cd320a51dbd261ed14.
Merge pull request #741 from nicolasdespres/propagate-file-rename-to-gitignore

Propagate file rename to gitignore.
Add a simple manifest parsing perftest.
Manifest perftest: Also measure command evaluation time.
Add manifest_parser_perftest to .gitignore.
Manifest perftest: Pull manifest parsing into own function.
Manifest perftest: Try to make it build on Linux.
Merge pull request #742 from nico/maniperf

Add a manifest parsing perftest.