A few comments:
Do not make boards in a graphics program (e.g. Illustrator). I tried something like this once and it was a big mistake.
Your statement that Eagle .brd files is the common standard for manufacturing boards is incorrect. The common standard is Gerber files (a folder's worth of these, one per board layer, plus one for drills, etc.) Board houses directed at hobbyists will sometimes accept .brd files to make things easier for their customers, but all they do internally is open the .brd in Eagle and export Gerbers. KiCad generates Gerbers with no problem.
I haven't used those libraries, but I'll mention that I tend to avoid all libraries and make my own components most of the time. (I've done this with Eagle and KiCad, and this is policy where I work too.) For any complex part, you don't want to rely on someone else getting every pin right; at work we have a system of metadata on the parts which has to be updated even if we import a part from another library. In KiCad, the default libraries tend to have hidden power and ground pins, which I really dislike--they get automatically connected to the "right" nets, which can easily be the wrong nets.