Added the function `append` in the `html` library

This provides a means to append existing elements in a tag builder
expression.