Depends very much on how much you want to spend.
A pure manual lens is cheaper.
With a 35mm or 50mm macro, you have to be pretty close to an insect, it could be disturbed.
With 100mm you are that bit further away.
A pure macro lens is always the best.
The Cosina 100mm/f3,5 (A lens and AF lens) is pretty cheap and plastic but it's good for the money.
The Tamron Adaptall SP90 is even better.
But both are 1:2 macro, the Cosina (which exists also as Vivitar and few other names) has a cheap 1:1 adapter
A really nice light 50mm macro is the SMC Pentax A50/2,8. It is 1:2 as well but it is a fantastic everyday lens as well and has the A-position:
SMC Pentax-A 50mm F2.8 Macro Reviews - A Prime Lenses - Pentax Lens Reviews & Lens Database
With a 49mm to 52mm step-up ring and the 52mm Canon 240D close-up you have a real achromatic adapter which makes it for very little money into even more than a 1:1
but almost a 1,5:1! But then no infinity as a standard normal lens. Just scew the Canon off and then you have still 1:2 macro + a great lens!
If you need long distance to insects you could try Sigma or Tamron 70-300 macro tele lenses, they have at times 1:2 macro at 300mm, so a good distance but I don't like such compromises.
The DA-F100/2.8 WR is almost a limited, great lens, no...fantastic, but expensive.
Any longer prime macro: Too expensive for the K100D!
Then you better get a K70 and enlarge the photos.
But if 50mm is enough, go for the SMC50/2,8 macro and have fun with a great everyday lens as well.
I'd hate to do macro with a full manual lens. I think A-position is "just-must"...