fix .gitignore and add missing files

.gitignore

@@ -13,6 +13,7 @@
 #ignore all build directories of cmake
 build*/
 cmake-build*/
+!scripts/build/
 
 #ignore ctags + gdb history files
 .ctags

scripts/build/filter-coverage.awk.in

@@ -0,0 +1,31 @@
+#!/usr/bin/awk
+
+# Filter absolute paths from coverage data
+#
+# Copied from
+# http://stackoverflow.com/questions/3163364/excluding-certain-functions-from-gcov-lcov-coverage-results
+#
+
+BEGIN {
+    record=""
+}
+
+/^SF:/ {
+    if (match ($0, "@COVERAGE_PREFIX@")) {
+        doprint = 1
+    } else {
+        doprint = 0
+    }
+}
+
+/^end_of_record$/ {
+    if ( doprint ) {
+        print record $0
+    }
+    record = ""
+    next
+}
+
+{
+    record=record $0 "\n"
+}

scripts/build/run_check_release_notes

@@ -0,0 +1,19 @@
+#!/bin/sh
+
+git diff origin/master -- doc/news/_preparation_next_release.md | egrep "^\+.+_\(.+\)_"
+if [ $? != "0" ]; then
+	linesChanged=$(git diff --numstat origin/master -- doc/news/_preparation_next_release.md | cut -f1)
+	if [ -n "$linesChanged" ] && [ "$linesChanged" -ge "5" ]; then
+		echo "We assume that you know what you are doing."
+		exit 0
+	fi
+	echo "The release notes were not extended correctly (with $linesChanged lines changed)."
+	echo "Please make sure you add at least one line describing your contribution followed"
+	echo "by the text _(your name)_."
+	echo ""
+	echo "For example, if Sandra Power fixed a typo, she adds to doc/news/_preparation_next_release.md:"
+	echo "- typo fixed _(Sandra Power)_"
+	echo ""
+	echo "Similar contributions might be summarized shortly before the release."
+	exit 1
+fi