Updated license in lexicon_fiter.in
Expand abbreviations on semicolon per #731
Make redirections and pipes expand abbreviations too
Dump interactive logs on travis test failure

As far as I know we can't access the build artifacts from Travis, so we
can't check the interactive logs after a test failure. Add an
environment variable that causes the test runner to dump the logs
itself, and set that variable for Travis.
Tweak interactive debug output
Fix intermittent crash in iothread.cpp

The wrong lock was being taken around the result queue, leading to the
occasional crash when processing interactive input. This didn't seem to
really affect normal day-to-day usage, but it did sometimes cause the
interactive tests to crash.

Fixes #1692.
Decrement SHLVL when running `exec`

`exec` removes fish from the shell "stack", so SHLVL needs to be
decremented to match. This means `exec fish` will result in the same
SHLVL in the new fish instance.

Also tweak the SHLVL logic to interpret an environment SHLVL of "3foo"
as garbage instead of as the value "3".

Fixes #1693.
Incorporate attribute links for color themes in web_config
Initial work to support for term-24bit ("true color")
Further support for term24bit.  Teach output.cpp what to do with it.
Better git alias completion

Config entries that contained the word "alias" but were not in fact
aliases no longer are treated as aliases.
Complete custom git commands in $PATH

Git treats executables in $PATH that start with "git-" as custom
subcommands. Add completion support for them.

Fixes #1680.
Don't include child directories of $PATH in completions

Directories are completed like commands, because of implicit cd.
However, directories found inside $PATH entries should not be completed,
as implicit cd doesn't work there. Similarly, directories should not be
completed after the `command` builtin.

Fixes #1695.
Squelch spurious set PATH errors in test
Use double dashes for contains in fossil completions.

This fixes the issue with strange behaviour of fish shell when first
option of a command is an option.
Don't use DejaVu Sans Condensed for documentation rendering.

This font, at least under Kubuntu 14.04 and Firefox I use is rather
ugly. Anti-aliasing is wrong, and the spaces between letters are
rather random. It makes reading the documentation headings and table
of contents harder than it needs to be.

Those issues don't happen with DejaVu Sans.