This is extremely difficult to do, airplay Raspberry Pi to Apple TV. Only a few people (I am one of them) in the world knows how to do it, so I recommend you not to invest any time unless you really understand the scope of this project.
In order to do mirroring, you need to overcome some encryption algorithm, which is very very difficult.