Prepare release 0.4.1 (#188)

* Prepare release 0.4.1

* Fix typo

CHANGELOG

@@ -1,5 +1,22 @@
 Verificarlo CHANGELOG
 
+# [v0.4.1] 2020/10/22
+
+## Added
+  * Add support for function instrumentation. Through a new compiler pass, backends can operate at the function granularity. Function instrumentation provides call site and call stack information and allows to instrument the scalar inputs and output of functions.
+  * VPREC backend takes advantage of function instrumentation to enable per function and per (scalar) argument exploration of variable precision
+  * Add compiler options support (-E, -S, --save-temps) and remove intermediate .ll files
+  * Support assembly (.S) files (which are not instrumented)
+  * Improved support for include/exclude mechanism. In particular now, regexps are supported
+  * Delta-debug supports exclude files
+  * Increase the size of supported vectors from 4 to 16
+
+## Fixed
+  * Fix multiple corner-cases in the VPREC backend. In particular, handling of denormals has been fixed and new tests added.
+  * Fix configure.ac GCC version on some linux distributions
+  * Fix bugs in include/exclude mechanisms
+  * Fix bug with absolute paths for .ll paths
+
 # [v0.4.0] 2020/07/03
 
 ## Added

README.md

@@ -1,6 +1,6 @@
 ![verificarlo logo](https://avatars1.githubusercontent.com/u/12033642)
 
-## Verificarlo v0.4.0
+## Verificarlo v0.4.1
 
 ![Build Status](https://github.com/verificarlo/verificarlo/workflows/test-docker/badge.svg?branch=master)
 [![DOI](https://zenodo.org/badge/34260221.svg)](https://zenodo.org/badge/latestdoi/34260221)

configure.ac

@@ -1,5 +1,5 @@
 AC_PREREQ([2.69])
-AC_INIT([verificarlo], [0.4.0], [])
+AC_INIT([verificarlo], [0.4.1], [])
 AM_SILENT_RULES([yes])
 AC_CONFIG_AUX_DIR(autoconf)
 AC_CONFIG_MACRO_DIR([m4])