What is the best BTC miner for intel HD 4000 card?
Theoretically, you should be using cgminer to mine a GPU coin with your GPU :). Maybe not the answer you're looking for, but you're going to get bored real quick when your miner returns 2 cents for the week. 

I recommend mining Litecoin with your GPU. Convert to bitcoin on BTC-e.com if thats your favorite. Its practically the same challenge/experience that you're working at, but you'll at least see some progress. Good luck!