add AUTHORS information for mini-stl
add Copyright for mini-stl