Fix external/.gitignore

We decided to skip trailing underscores from repository names,
following TrackMate's example...

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>