Update HISTORY and README for 0.4.1, the new 0.4.0