Depreciation

[z3dev]

@joostn isn't it time to mark this as 'deprecated'?

[z3dev]

Even better... change this repository to 'archived'

[joostn]

I've added a deprecation notice!