Specify the spec of lists:append/2

Adding to the expected behaviour of '++' on proper lists we have
* 4 = [] ++ 4
* and [1|4] = [1] ++ 4

The spec should mention this behaviour on improper lists.