Log to stderr on Linux systems
Merge branch 'gitignore' into DF2014
Merge branch 'share' into DF2014
Merge branch 'stderr' into DF2014
Merge branch 'travis' into DF2014
Merge branch 'unused_decls' into DF2014