Hmmm, I think this tool is more computer oriented. Quoting from the page you link:
Originally Posted by meggy1996
Streaming Music Recorder is designed to record any sound playing through your computer. With it, you can easily record streaming music, internet radio, online audio from any online sites like YouTube, Yahoo! music, Napster, Imeem.com, BBC radio, AOL radio etc. After you record streaming audio, the file can be converted to your desired format like WAV, MP3, AAC, WMA etc, which are completely compatible with your mobile devices. Streaming Music Recorder is what you are looking for, now you will have no worries about how to record streaming music, as long as you can hear it, you can record it. Do not miss your favorite music, just record it.Bolds are mine.
I would use a usb powered i/o audio interface thru the iPad camera connection kit. There are cheap ones in the musical market.
From your mixer outs to the interface and to any suitable pro app, Garage Band maybe?
Will investigate on this later, since I don't record my stuff, just play live.