[Swan-commit] Changes to ref refs/heads/master

[Antony Antony]

New commits:
commit 16d41f6d85d1aaf4d1058173d8e834356dcea705
Author: Antony Antony <antony at phenome.org>
Date:   Thu Apr 13 19:41:18 2017 +0200

    gitignore: fix a typo to ignore dsset/dsset*

commit 5542f9d81a62b892005433dc51515ae2a094c7c2
Author: Antony Antony <antony at phenome.org>
Date:   Thu Apr 13 19:52:23 2017 +0200

    testing: check-for-core.sh use -ex and -batch on gdb