dev-r442: suppress exact full-length matches
Merge branch 'master' into dev

Conflicts:
	main.c
dev-448: different ins/del penalties
dev-449: unequal ins/del in global() and extend()
dev-450: support diff ins/del penalties. NO TEST!!
dev-r451: fixed a few bugs when -A!=1

Something is still wrong.
dev-r452: allow to specify insert size at cmd

This is also very useful for debugging.
dev-453: change of -A scales -TdBOELU

These paramemters are all proportional to -A.